summation of series by definite integral